predicate calculus中文是什么意思

• 述词计算
• 谓词演算

• "predicate"中文翻译    n. 1.【语法】谓语，述语。 2.【逻辑学】谓项，述项 ...
• "calculus"中文翻译    n. (pl. calculuses, -li ) 1. ...
• "connective in predicate calculus" 中文翻译 :    谓词演算中的连接词
• "extended predicate calculus" 中文翻译 :    广义谓词演算
• "first order predicate calculus" 中文翻译 :    一阶谓词演算
• "first-order predicate calculus" 中文翻译 :    一阶谓词演算
• "high-order predicate calculus" 中文翻译 :    高阶谓词演算
• "higher order predicate calculus" 中文翻译 :    高阶谓词演算
• "higher-order predicate calculus" 中文翻译 :    高阶谓词演算
• "monadic predicate calculus" 中文翻译 :    一元逻辑; 一元谓词逻辑; 一元谓词演算
• "one place predicate calculus" 中文翻译 :    一元谓词演算
• "predicate calculus based method" 中文翻译 :    基于谓词演算的方法
• "predicate calculus language" 中文翻译 :    谓词演算语言
• "predicate calculus of the third order" 中文翻译 :    三阶谓词演算
• "predicate calculus with identity" 中文翻译 :    带恒等式的谓词演算
• "restricted predicate calculus" 中文翻译 :    狭谓词演算
• "second-order predicate calculus" 中文翻译 :    二阶谓词演算
• "unary predicate calculus" 中文翻译 :    一元谓词演算
• "pure predicate calculus of first order" 中文翻译 :    一阶纯谓词演算
• "predicate" 中文翻译 :    n. 1.【语法】谓语，述语。 2.【逻辑学】谓项，述项，述词，宾词。 3.本质；属性。 adj. 谓语的，述语的；谓项的，述项的。 vt. 1.论断，断言；断定…为某物的属性；断定某物有…的属性 (about; of)。 2.〔美国〕使(声明、行动等)依据于 (on; upon), 使基于。 3.宣言，宣布，声明。 4.意味着，具有…的含义。 5.【语法】表述。 vi. 断言 (of)。 Can anything be predicated about a non-existent thing 能够表述不存在的东西吗？ (We) predicate of the motive that it is good. (我们)断言这个动机是好的。
• "predicate of" 中文翻译 :    n变元谓词; 变项谓词
• "predicate on" 中文翻译 :    使基于
• "calculus" 中文翻译 :    n. (pl. calculuses, -li ) 1.【医学】结石，石；积石；牙垢。 2.【数学】运算，演算；微积分(学)。 calculus of finite differences 【数学】差分演算(法)，差分学。 calculus of variation 变分法[学]。 differential [integral] calculus微[积]分(学)。 urinary calculus【医学】尿结石。
• "actional predicate" 中文翻译 :    动作谓语
• "adjective predicate" 中文翻译 :    形容词谓语

• The atomic formula is called atom for short in predicate calculus
  在谓词演算中,有时将原子公式简称为原子。
• This is not expressible as a first - order predicate calculus property
  这就是一个一阶谓词演算不可表述的属性。
• Also , first - order predicate calculus isn ' t good enough anyway
  同时，从各方面来说，一阶谓词演算都不是足够好。
• This kind of assertion seems to require special language extensions and has led people to suggest introducing first - order predicate calculus
  这种情况下的断言似乎就需要实现特定的语言扩展，于是一些人建议引入一阶谓词演算。
• This kind of assertion seems to require special r nlanguage extensions and has led people to suggest introducing r nfirst - order predicate calculus
  这种情况下的断言似乎就需要实现特定的语言扩展，于是一些人建议引入一阶谓词演算。
• Informally , xquery is designed to be able to construct any xml document that can be computed from input xml documents using the power of the first - order predicate calculus
  Xquery被非正式地设计为可以构造xml文档，而这些xml文档是通过对输入的xml文档进行一阶谓词演算得出的。
• The medium logic propositional calculus system mpm and the medium logic predicate calculus system mfm are new logic systems . they are fit for dealing with incomplete information
  中介逻辑命题演算系统mp ~ m和中介逻辑谓词演算系统mf ~ m是一种适用于处理不完全信息的新的逻辑系统。
• So anything that you may want to express on a complex object that would seem to require first - order predicate calculus can be expressed actually quite nicely within the confines of the programming language
  所以对于一个复杂对象，任何看起来需要一阶谓词演算才能描述的东西，实际都可以在编程语言范畴内实现十分精细地表述。
• This paper introduces first - order predicate calculus and assertion method from precondition to postcondition into the research of refactoring . and a logic deduction system is put forward in this paper : refactoring reliability deduction system
  引入了一阶谓词演算和前后断言方法，并且自定义了一个重构可靠性证明的逻辑推理系统：重构可靠性推演系统。
• This has led some people who design the specification mechanisms for programming languages , or in the case of uml , for modeling languages , to include facilities from first - order predicate calculus as a language extension
  这就促使一些人在编程语言的描述机制和建模语言（如统一建模语言， uml ）的处理机制中加进了部分一阶谓词演算的东西，作为一种功能扩展。

• predicate calculus in Hindi
• predicate calculus 意味
• predicate calculus meaning
• predicate calculus 뜻
• predicate calculus перевод
• predicate calculusとは意味述語論理｛じゅつご ろんり｝